Background Implicit biases are present in the general population and among professionals in various domains, where they can lead to discrimination. Many interventions are used to reduce implicit bias. However, uncertainties remain as to their effectiveness. -/- Methods We conducted a systematic review by searching ERIC, PUBMED and PSYCHINFO for peer-reviewed studies conducted on adults between May 2005 and April 2015, testing interventions designed to reduce implicit bias, with results measured using the Implicit Association Test (IAT) or sufficiently similar methods. (...) -/- Results 30 articles were identified as eligible. Some techniques, such as engaging with others’ perspective, appear unfruitful, at least in short term implicit bias reduction, while other techniques, such as exposure to counterstereotypical exemplars, are more promising. Robust data is lacking for many of these interventions. -/- Conclusions Caution is thus advised when it comes to programs aiming at reducing biases. This does not weaken the case for implementing widespread structural and institutional changes that are multiply justified. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

Public health care interventions—regarding vaccination, obesity, and HIV, for example—standardly take the form of information dissemination across a community. But information networks can vary importantly between different ethnic communities, as can levels of trust in information from different sources. We use data from the Greater Pittsburgh Random Household Health Survey to construct models of information networks for White and Black communities--models which reflect the degree of information contact between individuals, with degrees of trust in information from various sources correlated with (...) positions in that social network. With simple assumptions regarding belief change and social reinforcement, we use those modeled networks to build dynamic agent-based models of how information can be expected to flow and how beliefs can be expected to change across each community. With contrasting information from governmental and religious sources, the results show importantly different dynamic patterns of belief polarization within the two communities. (shrink)

The conception of conscience that dominates discussions in bioethics focuses narrowly on private regulation of behaviour resulting from explicit attitudes. It neglects to mention implicit attitudes and the role of social feedback in becoming aware of one's implicit attitudes. But if conscience is a way of ensuring that a person's behaviour is in line with her moral values, it must be responsive to all aspects of the mind that influence behaviour. There is a wealth of recent psychological work demonstrating the (...) influence of implicit attitudes on behaviour. A necessary part of having a well-functioning conscience must thus be awareness and regulation of one's implicit attitudes in addition to one's explicit attitudes; this cannot be done by an individual in isolation. On my revised conception of conscience, heeding social feedback, being emotionally self-aware and engaging in self-monitoring are important for the possession of a well-functioning conscience. Health professionals may need specific training to help them develop and maintain a well-functioning conscience, which should involve cultivation of awareness of implicit attitudes, emphasis on social feedback and techniques to enable better control over them. (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

At least since Aristotle's famous discussion of the sea-battle tomorrow in On Interpretation 9, philosophers have been fascinated by a rich set of interconnecte.

Recently, philosophers have turned their attention to the question, not when a given agent is blameworthy for what she does, but when a further agent has the moral standing to blame her for what she does. Philosophers have proposed at least four conditions on having “moral standing”: -/- 1. One’s blame would not be “hypocritical”. 2. One is not oneself “involved in” the target agent’s wrongdoing. 3. One must be warranted in believing that the target is indeed blameworthy for the (...) wrongdoing. 4. The target’s wrongdoing must some of “one’s business”. -/- These conditions are often proposed as both conditions on one and the same thing, and as marking fundamentally different ways of “losing standing.” Here I call these claims into question. First, I claim that conditions (3) and (4) are simply conditions on different things than are conditions (1) and (2). Second, I argue that condition (2) reduces to condition (1): when “involvement” removes someone’s standing to blame, it does so only by indicating something further about that agent, viz., that he or she lacks commitment to the values that condemn the wrongdoer’s action. The result: after we clarify the nature of the non-hypocrisy condition, we will have a unified account of moral standing to blame. Issues also discussed: whether standing can ever be regained, the relationship between standing and our "moral fragility", the difference between mere inconsistency and hypocrisy, and whether a condition of standing might be derived from deeper facts about the "equality of persons". (shrink)

There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...) neither true nor false. However, I argue that, just as there is a Russellian alternative to the Strawsonian view concerning ‘the present King of France’, according to which the relevant class of propositions all turn out false, so there is a Russellian alternative to the Aristotelian view, according to which future contingents all turn out false, not neither true nor false. The result: contrary to millennia of philosophical tradition, we can be open futurists without denying bivalence. (shrink)

We show that cast shadows can have a significant influence on the speed of visual search. In particular, we find that search based on the shape of a region is affected when the region is darker than the background and corresponds to a shadow formed by lighting from above. Results support the proposal that an early-level system rapidly identifies regions as shadows and then discounts them, making their shapes more difficult to access. Several constraints used by this system are mapped (...) out, including constraints on the luminance and texture of the shadow region, and on the nature of the item casting the shadow. Among other things, this system is found to distinguish between line elements (items containing only edges) and surface elements (items containing visible surfaces), with only the latter deemed capable of casting a shadow. (shrink)

Conspiracy theories are rather a popular topic these days, and a lot has been written on things like the meaning of _conspiracy theory_, whether it’s ever rational to believe conspiracy theories, and on the psychology and demographics of people who believe conspiracy theories. But very little has been said about why people might be led to posit conspiracy theories in the first place. This paper aims to fill this lacuna. In particular, I shall argue that, in open democratic societies, citizens (...) justifiably presuppose that the epistemic authorities—journalists, academics, scientists, and so on—are engaged in a good faith pursuit of the truth. This presupposition generates certain normative expectations on the behaviors of the epistemic authorities—they ought to be open to new evidence, possess a healthy degree of skepticism, be willing to engage with opponents, and so on. So, when an epistemic authority is presented with some putatively anomalous data or an alternative hypothesis for some event or phenomena, people expect the epistemic authority to respond in a way that is consonant with these norms. In some instances, however, the epistemic authorities do not respond in this way and instead are dogmatic, dismissive, and engage in _ad hominem_. From the point of view of the citizen, there’s a tension here between how the epistemic authorities ought to behave and how they have, in fact, behaved which is best resolved either by taking the epistemic authorities less seriously or by positing a conspiracy theory. Put another way, the failure of the epistemic authorities to adhere to the norms by which we take them to be governed when presented with apparent anomalies or alternative hypotheses is one reason for which one might initially posit a conspiracy theory. (shrink)

This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.

Everyone agrees that we can’t change the past. But what about the future? Though the thought that we can change the future is familiar from popular discourse, it enjoys virtually no support from philosophers, contemporary or otherwise. In this paper, I argue that the thesis that the future is mutable has far more going for it than anyone has yet realized. The view, I hope to show, gains support from the nature of prevention, can provide a new way of responding (...) to arguments for fatalism, can account for the utility of total knowledge of the future, and can help in providing an account of the semantics of the English progressive. On the view developed, the future is mutable in the following sense: perhaps, once, it was true that you would never come to read a paper defending the mutability of the future. And then the future changed. And now you will. (shrink)

In this paper, I argue that the cause of morally self-defeating acts at the collective level is greed and, at the individual level, an unrestrained impulse for pleasure beyond Innocent Asouzu’s primordial instinct for self-preservation and ignorance. In investigating why humans act in self-defeating ways, Asouzu came up with two possible factors responsible for self-defeating acts: The primordial instinct for selfpreservation and ignorance. Besides Asouzu’s explanation, I here argue that the problem of self-defeating acts goes beyond the primordial instinct for (...) selfpreservation and ignorance to reveal a flaw characteristic of the human condition. At the collective level, the flaw responsible for self-defeating acts is greed and the unrestrained impulse for pleasure at the individual level. I employ the conversational method to interrogate the different views on self-defeating acts from Socrates to Asouzu and show why my explanation offers a better understanding of the problem. (shrink)

The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, we will develop (...) and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for a (...) wrong that x has committed, then all cases in which x blames x (i.e. cases of self-blame) are rendered inappropriate. But it seems to be ethical common-sense that we are often, sadly, in position (indeed, excellent, privileged position) to blame ourselves for our own moral failings. And thus we have a paradox: a conflict between the inappropriateness of hypocritical blame, and the appropriateness of self-blame. We consider several ways of resolving the paradox, and contend none is as defensible as a position that simply accepts it: we should never blame ourselves. In defending this startling position, we defend a crucial distinction between self-blame and guilt. (shrink)

The Hong and Page ‘diversity trumps ability’ result has been used to argue for the more general claim that a diverse set of agents is epistemically superior to a comparable group of experts. Here we extend Hong and Page’s model to landscapes of different degrees of randomness and demonstrate the sensitivity of the ‘diversity trumps ability’ result. This analysis offers a more nuanced picture of how diversity, ability, and expertise may relate. Although models of this sort can indeed be suggestive (...) for diversity policies, we advise against interpreting such results overly broadly. (shrink)

As well as disagreeing about how much one should donate to charity, moral theories also disagree about where one should donate. In light of this disagreement, how should the morally uncertain philanthropist allocate her donations? In many cases, one intuitively attractive option is for the philanthropist to split her donations across all of the charities that are recommended by moral views in which she has positive credence, with each charity’s share being proportional to her credence in the moral theories that (...) recommend that particular charity. Despite the fact that something like this approach is already being used by real-world philanthropists to distribute billions of dollars of donations, it is not supported by any of the approaches to moral uncertainty that have been proposed thus-far in the philosophical literature. In this paper, we will develop a bargaining-based approach to moral uncertainty that honors the proportionality intuition in favor of splitting one’s donations. We also show how this bargaining-based approach has several further advantages over the best alternative proposals. (shrink)

This paper considers Norton’s Material Theory of Induction. The material theory aims inter alia to neutralize Hume’s Problem of Induction. The purpose of the paper is to evaluate the material theory's capacity to achieve this end. After pulling apart two versions of the theory, I argue that neither version satisfactorily neutralizes the problem.

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

These are my materials (a short precis, and replies to Alan Rhoda and Daniel Rubio) for an invited symposium on my book _The Open Future: Why Future Contingents are All False_ (OUP, 2021) in IJPR. [The commentaries from Rhoda/Rubio are available on their respective PhilPapers profiles.].

P.F. Strawson’s (1962) “Freedom and Resentment” has provoked a wide range of responses, both positive and negative, and an equally wide range of interpretations. In particular, beginning with Gary Watson, some have seen Strawson as suggesting a point about the “order of explanation” concerning moral responsibility: it is not that it is appropriate to hold agents responsible because they are morally responsible, rather, it is ... well, something else. Such claims are often developed in different ways, but one thing remains (...) constant: they meant to be incompatible with libertarian theories of moral responsibility. The overarching theme of this paper is that extant developments of “the reversal” face a dilemma: in order to make the proposals plausibly anti-libertarian, they must be made to be implausible on other grounds. I canvas different attempts to articulate a “Strawsonian reversal”, and argue that none is fit for the purposes for which it is intended. I conclude by suggesting a way of clarifying the intended thesis: an analogy with the concept of funniness. The result: proponents of the “reversal” need to accept the difficult result that if we blamed small children, they would be blameworthy, or instead explain how their view escapes this result, while still being a view on which our blaming practices “fix the facts” of moral responsibility. (shrink)

This paper focuses on Nietzsche’s claim that suffering is closely related to the realization of certain perfectionist values, such as artistic excellence. According to Bernard Reginster, creative achievement consists in overcoming suffering, and therefore, suffering is an essential ingredient of creative achievement. Because suffering forms an essential part of a valuable whole in this way, Reginster argues that we must in turn value suffering ‘for its own sake’. This paper argues that Reginster’s position is open to the following objection: from (...) the fact that suffering is an essential part of a valuable whole, it does not follow that suffering is itself valuable. Rather, by taking advantage of the principle of organic unities, it would have to form an essential part of a valuable whole in a particular way. The author considers two ways the principle might be attributed to Nietzsche’s views on suffering: first, as an ‘enabling condition’, in which suffering allows for a whole that outweighs its disvalue; and second, as ‘a contributor’, in which suffering positively contributes value to the whole. The paper explores how Nietzsche’s ethics turns out to be crucially informed by this conceptual distinction. (shrink)

The principle of Conditional Excluded Middle has been a matter of longstanding controversy in both semantics and metaphysics. The principle suggests (among other things) that for any coin that isn't flipped, there is a fact of the matter about how it would have landed if it had been flipped: either it would have landed heads, or it would have landed tails. This view has gained support from linguistic evidence indicating that ‘would’ commutes with negation (e.g., ‘not: if A, would C’ (...) is equivalent to ‘if A, would not C’). There is, however, a long list of operators that similarly appear to commute with negation, even though the corresponding excluded middle principles are indefensible. We suggest that the data supporting Conditional Excluded Middle is best explained as a pragmatic effect. (shrink)

The present article is a sympathetic critique of the most prominent contemporary articulations of family abolitionism. It examines whether queer communist family abolitionism is successful in linking an account of reasons for abolition, with an account of the means of abolition, and finally with an account of the ends of abolition in the form of speculation on a possible world without families. Recent work by M.E. O’Brien has developed these connections in ways that have never been done so thoroughly before; (...) but the rejection of states as an institutional form of political power leaves it unclear what forms of equality we could expect in such a world, and why coercive power would be unnecessary there. Family abolition is a utopian political agenda; but that utopianism needs to be constrained by a realist concern with issues of power, resources, and human capacities. This will require confronting trade-offs and imperfections within possible worlds without families. The recognition that there are many paths to a world without families, and many possible such worlds, is the first step towards aligning reasons, means, and ends and confronting the social and political trade-offs that this entails. (shrink)

There is a longstanding argument that purports to show that divine foreknowledge is inconsistent with human freedom to do otherwise. Proponents of this argument, however, have for some time been met with the following reply: the argument posits what would have to be a mysterious non-causal constraint on freedom. In this paper, I argue that this objection is misguided – not because after all there can indeed be non-causal constraints on freedom (as in Pike, Fischer, and Hunt), but because the (...) success of the incompatibilist's argument does not require the real possibility of non-causal constraints on freedom. I contend that the incompatibilist's argument is best seen as showing that, given divine foreknowledge, something makes one unfree – and that this something is most plausibly identified, not with the foreknowledge itself, but with the causally deterministic factors that would have to be in place in order for there to be infallible foreknowledge in the first place. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...) construct a spatialized model that tests the core hypothesis in a large array of game-theoretic agents. Robust results offer a new kind of support for the contact hypothesis: results in simulation do accord with a hypothesis of reduced prejudice with increased contact. The spatialized game-theoretic model also suggests a deeper explanation for at least some of the social psychological phenomena at issue. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

Veltman’s test semantics and developments thereof reject the canon about semantic contents and attitude ascriptions in favor of dynamic alternatives. According to these theories the semantic content of a sentence is not a proposition, but a context change potential (CCP). Similarly, beliefs are not taken to be relations between agents and propositions, but agents and CCPs. These deviations from the canon come at the cost of an elegant explanation about the correctness of belief. Standardly, it is taken that the content (...) of a belief is correct just in case the content of that belief is true. The proponent of the test semantics cannot appeal to this explanation since they hold that certain contents, namely epistemically modalized contents, do not express propositions, and are neither true nor false. After motivating the need for an account of the correctness of belief within the dynamic framework, I argue that the few extant accounts in the literature are unsatisfactory. A novel account is proposed that avoids the problems of competing views. (shrink)

Various philosophers have wanted to move from a (P.F.) “Strawsonian” understanding of the “practices of moral responsibility” to a non-skeptical result. I focus on a strategy moving from a “response-dependent” theory of responsibility. I aim to show that a key analogy associated with this strategy fails to support a compatibilist result. It seems clear that nothing could show that nothing we have been laughing at has really been funny. If “the funny” is similar to “the blameworthy”, then perhaps it would (...) follow that nothing could show that no one we have ever blamed has really been blameworthy. The comparison is interesting, but inconclusive: even if we grant that these properties are normatively similar, the latter has substantive empirical presuppositions, whereas the former does not. One important upshot: even if the standards operative in our practices cannot be mistaken, it could nevertheless be that no one has ever met these standards Ruling out this possibility seemingly requires re-engaging in all of the so-called "metaphysical" debates Strawsonians are keen to avoid. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

Our purpose in this article is to draw attention to a connection that obtains between two dilemmas from two separate spheres: sports and the law. It is our contention that umpires in the game of cricket may face a dilemma that is similar to a dilemma confronted by legal decision makers and that comparing the nature of the dilemmas, and the arguments advanced to solve them, will serve to advance our understanding of both the law and games.

I argue that Descartes uses his method as evidence in the Discours and Les Météores. I begin by establishing there is a single method in Descartes’ works, using his meteorology as a case study. First, I hold that the method of the Regulae is best explained by two examples: one scientific, his proof of the anaclastic curve (1626), and one metaphysical, his question of the essence and scope of human knowledge (1628). Based on this account, I suggest that the form (...) of his early metaphysics (not its content) is similar to the method of doubt of the Meditationes. Second, I argue that Descartes’ explanation of the cause of parhelia (1629) likewise contains a formulation of this procedure. I provide a novel reading of Les Météores, where, following Descartes’ guidance in the Discours and Correspondance, I interpret his meteorology by reasoning from effects to causes, in this case, from Christoph Scheiner’s 1626 observation of parhelia to his meteorological foundation. This backwards orientation to Les Météores, I argue, reveals an instance of Descartes’ scientific method. I conclude with remarks on Descartes’ concept of evidentia, in which I explain how he incorporates a posteriori evidence and an apparent hypothetical foundation into his rationalist epistemology where he uses his method as evidence for his claims. (shrink)

In response to criticism, we often say – in these or similar words – “Let’s see you do better!” Prima facie, it looks like this response is a challenge of a certain kind – a challenge to prove that one has what has recently been called standing. More generally, the data here seems to point a certain kind of norm of criticism: be better. Slightly more carefully: One must: criticize x with respect to standard s only if one is better (...) than x with respect to standard s. In this paper, I defend precisely this norm of criticism – an underexplored norm that is nevertheless ubiquitous in our lives, once we begin looking for it. The be better norm is, I hope to show, continuously invoked in a wide range of ordinary settings, can undergird and explain the widely endorsed non-hypocrisy condition on the standing to blame, and apparent counterexamples to the norm are no such counterexamples at all. I further contend that, given some plausible principles, my previous “moral commitment” account of the moral standing to blame will be extensionally equivalent to the be better norm. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Nietzsche’s Thus Spoke Zarathustra: A Critical Guide ed. by Keith Ansell-Pearson and Paul LoebPatrick HassanKeith Ansell-Pearson and Paul Loeb, eds., Nietzsche’s Thus Spoke Zarathustra: A Critical Guide (Cambridge Critical Guides) Cambridge: Cambridge University Press, 2022. xii + 280 pp. ISBN: 978-1-108-49084-9 (cloth); 978-1-108-79648-4 (paper). Cloth, £75.00; Paper, £24.99.Nietzsche’s Thus Spoke Zarathustra (Z), written in instalments between 1883 and 1885, has had a tremendous impact within and outside of (...) academic philosophy. A text that famously was distributed to German soldiers in World War I by military order, Z has been discussed and praised among philosophers, literary theorists, and artists. Nietzsche himself considered the book to be his crowning achievement, not-so-modestly describing it as “the greatest present that has ever been made to [mankind] so far” (EH P:4). Nevertheless, contemporary Nietzsche scholars disagree about the text’s philosophical and aesthetic quality, and about its overall importance in Nietzsche’s corpus. On one end of the spectrum, some commentators find Z overblown, laborious to get through, and beyond these perceived aesthetic flaws, lacking in philosophical quality and (perhaps thankfully) inessential to understanding Nietzsche’s philosophical aims. In an introduction to a relatively recent edition, for example, Robert Pippin describes Z as “in large part a failure” (Thus Spoke Zarathustra [Cambridge: Cambridge University Press, 2006], xiii). On the other end of the spectrum, some commentators take Nietzsche at his word, finding Z to be a literary wonder, marking a new epoch of the use of German language, preceded in the modern period only by Goethe and Luther. But further, and more relevant for philosophers, this faction take Z to be of the upmost importance for unlocking Nietzsche’s philosophy proper, and in particular, to reveal the solutions he constructed [End Page 212] for various philosophical problems and existential challenges for the human being that he merely diagnoses elsewhere in his corpus.Keith Ansell-Pearson and Paul Loeb’s critical guide brings together an impressive lineup of Nietzsche scholars in an attempt to reinforce the view that Z is not only useful but in fact essential to understanding the key themes of Nietzsche’s philosophy; that, as they put it, Z “needs to assume a central role in any informed appreciation of his style of philosophical practice as well as of the fundamental content of his core ideas” (1). Comprising eleven essays, most of which are well-argued and tightly focused on well-selected controversies, this attempt is largely successful, though I have some reservations, which I shall get to below.As the editors explain in their opening remarks, this collection does not aim at introductions, overviews, or mere walk-throughs of Z. Nor does it aim at a comprehensive account of all of the exegetical controversies surrounding the text. Rather, the more reasonable goal of the collection is to facilitate a “philosophical discussion of the topics that are the subject of interest today in the field of philosophy” (2). Given Z’s difficult and unusual style—the intricacies of which are taken up in Benedetta Zavatta’s insightful contribution exploring Nietzsche’s deployment of satire and parody to form a new kind of critique—and the expected philosophical, literary, and historical labor Nietzsche (and the editors) demand in order to fully appreciate it, this is an admirable undertaking for the contributors. Many essays skillfully draw out the issues of contemporary interest and demonstrate Nietzsche’s relevance to ongoing fundamental philosophical debates. The editors are to be commended for their careful selection of quality essays in this respect.For example, Neil Sinhababu convincingly argues that Z provides the most compelling critique in Nietzsche’s corpus of various rationalist theses; for instance, that reason is central to explaining moral motivation, moral knowledge, moral agency, and moral subjecthood. As Sinhababu presents Nietzsche’s brand of sentimentalism—a tradition more frequently addressed in the Anglophone world by way of figures such as Hume, Hutcheson, and Smith—it has the conceptual resources, moreover, to resist contemporary rationalist objections as they arise in the work of those such as Christine Korsgaard and John McDowell.Nietzsche’s primary strength... (shrink)

Since the sixties, computational modeling has become increasingly important in both the physical and the social sciences, particularly in physics, theoretical biology, sociology, and economics. Sine the eighties, philosophers too have begun to apply computational modeling to questions in logic, epistemology, philosophy of science, philosophy of mind, philosophy of language, philosophy of biology, ethics, and social and political philosophy. This chapter analyzes a selection of interesting examples in some of those areas.

We model scientific theories as Bayesian networks. Nodes carry credences and function as abstract representations of propositions within the structure. Directed links carry conditional probabilities and represent connections between those propositions. Updating is Bayesian across the network as a whole. The impact of evidence at one point within a scientific theory can have a very different impact on the network than does evidence of the same strength at a different point. A Bayesian model allows us to envisage and analyze the (...) differential impact of evidence and credence change at different points within a single network and across different theoretical structures. (shrink)

Talk of ‘robustness’ remains vague, despite the fact that it is clearly an important parameter in evaluating models in general and game-theoretic results in particular. Here we want to make it a bit less vague by offering a graphic measure for a particular kind of robustness— ‘matrix robustness’— using a three dimensional display of the universe of 2 x 2 game theory. In a display of this form, familiar games such as the Prisoner’s Dilemma, Stag Hunt, Chicken and Deadlock appear (...) as volumes, making comparison easy regarding the extent of different game-theoretic effects. We illustrate such a comparison in robustness between the triumph of Tit for Tat in a spatialized environment (Grim 1995, Grim, Mar, and St. Denis 1998) and a spatialized modeling of the Contact Hypothesis regarding prejudice reduction (Grim, et. al 2005a, 2005b). The geometrical representation of relative robustness also offers a possibility for links between geometrical theorems and results regarding robustness in game theory. (shrink)

According to the Unfinished Business Account, if actor p reasonably judges performing a supererogatory act ϕ at great sacrifice to herself will enable beneficiary q to achieve a greater good, then failure to promote the good made possible by ϕ wrongs p. Elizabeth Finneron-Burns questions whether it follows that we have a duty to render the sacrifices of past (and present) people more worthwhile by preventing human extinction. This note responds to her criticisms.

Robustness has long been recognized as an important parameter for evaluating game-theoretic results, but talk of ‘robustness’ generally remains vague. What we offer here is a graphic measure for a particular kind of robustness (‘matrix robustness’), using a three-dimensional display of the universe of 2 × 2 game theory. In such a measure specific games appear as specific volumes (Prisoner’s Dilemma, Stag Hunt, etc.), allowing a graphic image of the extent of particular game-theoretic effects in terms of those games. The (...) measure also allows for an easy comparison between different effects in terms of matrix robustness. Here we use the measure to compare the robustness of Tit for Tat’s well-known success in spatialized games (Axelrod, R. (1984). The evolution of cooperation . New York: Basic Books; Grim, P. et al. (1998). The philosophical computer: Exploratory essays in philosophical computer modeling . Cambridge, Mass: MIT Press) with the robustness of a recent game-theoretic model of the contact hypothesis regarding prejudice reduction (Grim et al. 2005. Public Affairs Quarterly, 19 , 95–125). (shrink)

Strategies for combating climate change which advocate for human population limitation have recently been understandably criticised on the grounds that they embody a form of 'climate colonialism': a moral wrong that involves disproportionally shifting the burdens of climate change onto developing, historically exploited nations (which have low per capita emissions but high fertility rates) in order to offset burdens in affluent nations (which have high per capita emissions but low fertility rates). This article argues that once the relevance of population (...) growth to climate change has been correctly understood as working in tandem with consumption levels, this objection fails as a general criticism. Moreover, even if population could be ignored as a variable, the climate colonialism charge would re-emerge in a different form, since, at present population sizes, it would be environmentally catastrophic for developing nations to reach production ambitions which see their per capita emissions massively increase. Even if emission reductions in affluent nations are (rightly) prioritised, there are good reasons to prevent enormous growth of emissions in developing nations. Those environmental risks become much greater given those nations' projected population increases in the coming century. The article then explores how the necessary radical environmental policies pertaining to fertility rates might be enacted in non-coercive ways, reducing the sting of the ‘climate colonialism’ charge. The article ends by considering some reasons to be moderately sceptical about such policies. (shrink)

Todd and Rabern (2021) mount an argument that – contra both Thomason’s (1970) supervaluationism and MacFarlane’s (2014) relativism – an “open future” view is incompatible with the principle they call “Retro-closure”, according to which today’s rain implies that yesterday it was true that it would rain a day later. In a recent piece, MacFarlane replies. This paper has two aims. First, I argue that MacFarlane’s response to Todd and Rabern is unsuccessful on its own terms. Second, I attempt to clarify (...) Todd and Rabern’s overall argument, and explain how MacFarlane’s replies should be construed within the overall dialectic. The intended result: if you want an "open future", then one's best option is a modified Peirceanism (Todd 2021); if one wants Retro-closure, one's best option is one on which there is a determinate "Thin Red Line" (a view sometimes called "Ockhamism"). However, one cannot have what supervaluationism and relativism both promise, viz., a view that preserves both. (shrink)

The aim of this thesis is to defend a presentist metaphysics. I respond to a series of objections against presentism, including some that draw on our best physics. I also explore ways in which presentism might play an active role in interpreting and constraining physical theory, beyond merely being consistent with it. -/- A unifying theme of this thesis is that I advocate for a reduction of presentism to its bare essentials. Within the proposed ontology, reality is three-dimensional. Time only (...) exists in the sense that three-dimensional reality primitively changes. I reject any temporal dimension, extension, or direction. I reject any primitively tensed facts or nonpresent-tensed truths. I also reject any notion of simultaneity, beyond the mere fact that multiple entities exist in the three-dimensional world. I accept and embrace that if ontology is ‘stripped back’ to the present, then other features of metaphysics that depend on ontology should be stripped back too. -/- The world, under this view, is a forgetful one. What we call the ‘past’ has been utterly lost from existence: there are not even any absolute facts or truths about how things once were. All that remain are records, memories, and the like, but there are no objective underlying truths to which those records correspond. This has implications for physics. In a forgetful world particles have positions, but no entire trajectories. The present may be certain and determinate, but the past and future are at best modelled using probabilistic mathematics. -/- I believe that the world is likely to be as I describe. I will not attempt to argue, however, that this view is intuitive. Instead I will argue that it can account for our experiences and observations, including those from physics, in a simple and effective way. Most importantly, I argue that this view succeeds in the face of challenges where other versions of presentism fail. (shrink)

These are my materials (a short precis, and replies to John MacFarlane, Mitchell Green, Ryan Wasserman, and Anthony Bigg and Kristie Miller) for a symposium on my book, _The Open Future: Why Future Contingents are All False_ (OUP, 2021) in *Analytic Philosophy*. [The contribution from MacFarlane is available on his website, those from Wasserman and Green are on their Academia profiles, and the contribution from Bigg and Miller is on Miller's PhilPapers profile.].

Incompatibilism about responsibility and determinism is sometimes directly construed as the thesis that if we found out that determinism is true, we would have to give up the reactive attitudes. Call this "the consequence". I argue that this is a mistake: the strict modal thesis does not entail the consequence. First, some incompatibilists (who are also libertarians) may be what we might call *resolute responsibility theorists* (or "flip-floppers"). On this view, if we found out that determinism is true, this would (...) not be to find out that no one is responsible; instead, what this would suggest is that incompatibilism is after all false. Second, some incompatibilists may instead deny the claim that if we found out that no one deserves the reactiveattitudes, we would have to give up the reactive attitudes. Call this position *innocent incompatibilism*. I explore several different reasons why the fact that no one deserves the reactive attitudes likely does not translate into a requirement for us to give up the reactive attitudes. The upshot: incompatibilism may be practically irrelevant, even if true. (shrink)

A small consortium of philosophers has begun work on the implications of epistemic networks (Zollman 2008 and forthcoming; Grim 2006, 2007; Weisberg and Muldoon forthcoming), building on theoretical work in economics, computer science, and engineering (Bala and Goyal 1998, Kleinberg 2001; Amaral et. al., 2004) and on some experimental work in social psychology (Mason, Jones, and Goldstone, 2008). This paper outlines core philosophical results and extends those results to the specific question of thresholds. Epistemic maximization of certain types does show (...) clear threshold effects. Intriguingly, however, those effects appear to be importantly independent from more familiar threshold effects in networks. (shrink)

Traditional wisdom dictates that statistical model outputs are estimates, not measurements. Despite this, statistical models are employed as measurement instruments in the social sciences. In this article, I scrutinize the use of a specific model—the logit model—for psychological measurement. Given the adoption of a criterion for measurement that I call comparability, I show that the logit model fails to yield measurements due to properties that follow from its fixed residual variance.